Automatic Parallelisation of Web Applications

Small web applications have a tendency to get bigger. Yet despite the current popularity of web applications, little has been done to help programmers to leverage the performance and scalability benefits that can result from the introduction of parallelism into a program. Accordingly, we present a technique for the automatic parallelisation of whole web applications, including persistent data storage mechanisms. We detail our prototype implementation of this technique, Ceth and finally, we establish the soundness of the process by which we extract coarse-grained parallelism from programs

Bigraph Metaprogramming for Distributed Computation

Ubiquitous computing is a paradigm that emphasises integration of computing activities into the fabric of everyday life. With the increasing availability of small, cheap computing devices, the ubiquitous computing model seems more and more likely to supplant desktop computing as the dominant paradigm. Similarly, the presence of high-speed network connectivity between vast numbers of computers has already made distributed computing the preferred paradigm for many application domains. Unfortunately, traditional approaches to software development are not necessarily well-suited to developing software in a post-desktop world. We present an extension to the bigraphical reactive systems formalism that enables us to construct a programming language based upon it. We believe that this programming language provides programmers with an environment better suited to the challenges that arise when creating software within a distributed or ubiquitous computing paradigm. We detail our modification to the theory of bigraphical reactive systems that enables metaprogramming. Finally, we provide a description of our prototype implementation of a programming language that enables metaprogramming of bigraphical reactive systems

A Non Monotonic Reasoning framework for Goal-Oriented Knowledge Adaptation

In this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this logic, the overall pipeline of our system works as follows: given a goal expressed as a set of properties, if the knowledge base does not contain a concept able to fulfill all these properties, then our system looks for two concepts to recombine in order to extend the original knowledge based satisfy the goal

Domain-Specific Modelling Languages in Bigraphs

Modelling is a ubiquitous activity in human endeavours, and the construction of informatic models of many kinds is the key to understanding and managing the complexity of an increasingly computational world. We advocate the use of domain-specific modelling languages, instantiated within a “tower ” of models, in order to improve the utility of the models we build, and to ease the process of model construction by moving the languages we use to express such models closer to their respective domains. This thesis is concerned with the study of bigraphical reactive systems as a host for domain-specific modelling languages. We present a number of novel technical developments, including a new complete meta-calculus presentation of bigraphical reactive systems, an abstract machine that instantiates to an abstract machine for any instance calculi, and a mechanism for defining declaratively sorting predicates that always give rise to wellbehaved sortings. We explore bigraphical refinement relations that permit formalisation of the relationship between different languages instantiate

Refinement for Transition Systems with Responses

Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must eventually, and in which implementations can contain may behaviors that are resolved at run-time. We propose Transition Systems with Responses (TSRs) as a suitable model for this study. We prove that TSRs correspond to a restricted class of mixed transition systems, which we refer to as the action-deterministic mixed transition systems. We show that TSRs allow for a natural definition of deadlocked and accepting states. We then transfer the standard definition of refinement for mixed transition systems to TSRs and prove that refinement does not preserve deadlock freedom. This leads to the proposal of safe refinements, which are those that preserve deadlock freedom. We exemplify the use of TSRs and (safe) refinements on a small medication workflow.Comment: In Proceedings FIT 2012, arXiv:1207.348

Epirubicin. A new entry in the list of fetal cardiotoxic drugs? Intrauterine death of one fetus in a twin pregnancy. Case report and review of literature

BACKGROUND: Current knowledge indicate that epirubicin administration in late pregnancy is almost devoid of any fetal cardiotoxicity. We report a twin pregnancy complicated by breast cancer in which epirubicin administration was causatively linked to the death of one twin who was small for gestational age (SGA) and in a condition of oligohydramnios and determined the onset of a transient cardiotoxicity of the surviving fetus/newborn. CASE PRESENTATION: A 38-year-old caucasic woman with a dichorionic twin pregnancy was referred to our center at 20 and 1/7 weeks for a suspected breast cancer, later confirmed by the histopathology report. At 31 and 3/7 weeks, after the second chemotherapy cycle, ultrasound examination evidenced the demise of one twin while cardiac examination revealed a monophasic diastolic ventricular filling, i.e. a diastolic dysfunction of the surviving fetus who was delivered the following day due to the occurrence of grade II placental abruption. The role of epirubicin cardiotoxicity in the death of the first twin was supported by post-mortem cardiac and placental examination and by the absence of structural or genomic abnormalities that may indicate an alternative etiology of fetal demise. The occurrence of epirubicin cardiotoxicity in the surviving newborn was confirmed by the report of high levels of troponin and transient left ventricular septal hypokinesia. CONCLUSION: Based on our findings we suggest that epirubicin administration in pregnancy should be preceded by the screening of some fetal conditions like SGA and oligohydramnios that may increase its cardiotoxicity and that, during treatment, the diastolic function of the fetal right ventricle should be specifically monitored by a pediatric cardiologist; also, epirubicin and desamethasone for lung maturation should not be closely administered since placental effects of glucocorticoids may increase epirubicin toxicity

Factors influencing choice of chemotherapy in metastatic colorectal cancer (mCRC)

Management of metastatic colorectal cancer requires a multimodal approach and must be performed by an experienced, multidisciplinary expert team. The optimal choice of the individual treatment modality, according to disease localization and extent, tumor biology, and patient clinical characteristics, will be one that can maintain quality of life and long-term survival, and even cure selected patients. This review is an overview of the different therapeutic approaches available in metastatic colorectal cancer, for the purpose of defining personalized therapeutic algorithms according to tumor biology and patient clinical features

Lmx1a-Dependent Activation of miR-204/211 Controls the Timing of Nurr1-Mediated Dopaminergic Differentiation

The development of midbrain dopaminergic (DA) neurons requires a fine temporal and spatial regulation of a very specific gene expression program. Here, we report that during mouse brain development, the microRNA (miR-) 204/211 is present at a high level in a subset of DA precursors expressing the transcription factor Lmx1a, an early determinant for DA-commitment, but not in more mature neurons expressing Th or Pitx3. By combining different in vitro model systems of DA differentiation, we show that the levels of Lmx1a influence the expression of miR-204/211. Using published transcriptomic data, we found a significant enrichment of miR-204/211 target genes in midbrain dopaminergic neurons where Lmx1a was selectively deleted at embryonic stages. We further demonstrated that miR-204/211 controls the timing of the DA differentiation by directly downregulating the expression of Nurr1, a late DA differentiation master gene. Thus, our data indicate the Lmx1a-miR-204/211-Nurr1 axis as a key component in the cascade of events that ultimately lead to mature midbrain dopaminergic neurons differentiation and point to miR-204/211 as the molecular switch regulating the timing of Nurr1 expression